1. Temporal logic and state systems
پدیدآورنده : Kroger, Fred, 5491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Tense )Logic(,، Logic, Symbolic and mathematical,، Time
رده :
BC
199
.
T4K76
2. Temporal logic and state systems
پدیدآورنده : Kroger, Fred
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Tense )Logic(,، Logic, Symbolic and mathematical,، Time
رده :
BC
199
.
T4
.
K76
2008
3. Temporal logic: from ancient ideas to artificial intelligence
پدیدآورنده : Ohrstrom, Peter.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Tense )Logic(,، Logic, Symbolic and mathematical,، Time
رده :
BC
199
.
T4
.
O37
1995